(0 17 12)(1 7 6)(2 16 4)(3 9 5)(8 14 10)(11 15 13)
ALLOWS (11/8)-SEQUENCE
1: (0 9 12)
(0)(1 7 6)(2 16 4)(3 9 17 12 5)(8 14 10)(11 15 13)
2: (8 14 10)
(0)(1 7 6)(2 16 4)(3 9 17 12 5)(8)(10)(11 15 13)(14)
3: (11 15 13)
(0)(1 7 6)(2 16 4)(3 9 17 12 5)(8)(10)(11)(13)(14)(15)
4: (5 17 12)
(0)(1 7 6)(2 16 4)(3 9 17)(5)(8)(10)(11)(12)(13)(14)(15)